0.05/0.10	% Problem    : theBenchmark.p : TPTP v0.0.0. Released v0.0.0.
0.05/0.15	% Command    : run_portfolio.sh /export/starexec/sandbox/benchmark/theBenchmark.p /export/starexec/sandbox/tmp/tmp.HCHbmnTEIa
0.14/0.35	% Computer   : n003.cluster.edu
0.14/0.35	% Model      : x86_64 x86_64
0.14/0.35	% CPU        : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
0.14/0.35	% Memory     : 8042.1875MB
0.14/0.35	% OS         : Linux 3.10.0-693.el7.x86_64
0.14/0.35	% CPULimit   : 1200
0.14/0.35	% DateTime   : Tue Jul 13 12:58:39 EDT 2021
0.14/0.35	% CPUTime    : 
0.14/0.35	% Running portfolio for 120 s
0.14/0.35	% File         : /export/starexec/sandbox/benchmark/theBenchmark.p
0.14/0.35	% Number of cores: 8
0.14/0.35	% Python version: Python 3.6.8
0.14/0.36	% Running in HO mode
0.47/0.62	% Estimated wc time : 1286
0.47/0.62	% Estimated cpu time (7 cpus) : 183.71428571428572
0.51/0.71	% /export/starexec/sandbox/solver/bin/lams/s6.sh running for 21s
0.51/0.71	% /export/starexec/sandbox/solver/bin/lams/new_b3.2.norw.sh running for 15s
0.51/0.71	% /export/starexec/sandbox/solver/bin/lams/b.rpo.sh running for 21s
0.51/0.72	% /export/starexec/sandbox/solver/bin/lams/c.easy.sh running for 26s
0.51/0.72	% /export/starexec/sandbox/solver/bin/lams/old_b3.avatar.sh running for 15s
0.51/0.72	% /export/starexec/sandbox/solver/bin/lams/c.s.2.sh running for 68s
0.52/0.72	% /export/starexec/sandbox/solver/bin/lams/s6.ds.sh running for 10s
69.46/10.65	% /export/starexec/sandbox/solver/bin/lams/old_sp2.sh running for 17s
104.65/15.70	% /export/starexec/sandbox/solver/bin/lams/b.sh running for 31s
104.65/15.74	% /export/starexec/sandbox/solver/bin/lams/sh1.sh running for 26s
146.25/21.83	% /export/starexec/sandbox/solver/bin/lams/b.lsimp.sh running for 17s
146.25/21.86	% /export/starexec/sandbox/solver/bin/lams/b.split.sh running for 31s
181.36/26.95	% /export/starexec/sandbox/solver/bin/lams/s4.sh running for 15s
186.16/27.72	% /export/starexec/sandbox/solver/bin/lams/b.rw.sh running for 26s
198.81/29.64	% /export/starexec/sandbox/solver/bin/lams/c_ic.sh running for 42s
263.22/38.90	% /export/starexec/sandbox/solver/bin/lams/s1.f.sh running for 15s
284.88/42.12	% /export/starexec/sandbox/solver/bin/lams/c.preprocess2.sh running for 21s
328.27/48.62	% /export/starexec/sandbox/solver/bin/lams/sh.or.sh running for 26s
358.29/53.11	% /export/starexec/sandbox/solver/bin/lams/new.cs3.comb.sh running for 18s
363.70/53.88	% /export/starexec/sandbox/solver/bin/lams/old_b2.sh running for 31s
418.38/63.29	% /export/starexec/sandbox/solver/bin/lams/sp5.sh running for 36s
432.46/65.66	% /export/starexec/sandbox/solver/bin/lams/b2.sh running for 15s
455.52/68.97	% /export/starexec/sandbox/solver/bin/lams/b.lcnf.od.sh running for 26s
455.52/69.03	% /export/starexec/sandbox/solver/bin/lams/c.s.sh running for 36s
469.96/71.11	% /export/starexec/sandbox/solver/bin/lams/b3.sh running for 26s
472.38/71.49	% /export/starexec/sandbox/solver/bin/lams/cmb.lcnf.sh running for 10s
494.62/74.73	% /export/starexec/sandbox/solver/bin/lams/sh.eqenc.sh running for 17s
535.42/80.65	% /export/starexec/sandbox/solver/bin/lams/p.ll.e2.sh running for 17s
542.36/81.55	% /export/starexec/sandbox/solver/bin/lams/c.cmb.sh running for 21s
565.70/84.97	% /export/starexec/sandbox/solver/bin/lams/cs1.sh running for 47s
612.76/91.83	% /export/starexec/sandbox/solver/bin/lams/old_s4.sh running for 36s
649.60/97.16	% /export/starexec/sandbox/solver/bin/lams/old.cs2combs.sh running for 23s
652.91/97.76	% /export/starexec/sandbox/solver/bin/lams/b5.sh running for 7s
663.85/99.39	% /export/starexec/sandbox/solver/bin/lams/eignore3.sh running for 36s
685.48/102.52	% /export/starexec/sandbox/solver/bin/lams/e_lift.sh running for 38s
701.17/104.77	% /export/starexec/sandbox/solver/bin/lams/e_lift_late.sh running for 31s
703.60/105.16	% /export/starexec/sandbox/solver/bin/lams/s6.2.sh running for 10s
772.84/115.18	% /export/starexec/sandbox/solver/bin/lams/sh.linf.sh running for 23s
806.77/120.16	Alarm clock
806.77/120.16	% Zipperpin 1.5 exiting
806.77/120.17	EOF